درستی یابی در سطح rt

درستی یابی گمنامی در منطق شناختی

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

الگوریتمی برای درستی یابی محرمانگی در پروتکل های امنیت

در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی ‏قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به...

آیا «اکولوژی منظر» تعبیر درستی است؟

اکولوژی منظر، اصطلاحی است که در دو دهۀ اخیر رایج شده و تلاش دارد با بسط دامنۀ مطالعۀ خود به خواسته‌های جدید انسان از مکان پاسخ گوید. از سوی دیگر، منظر به‌عنوان رشته‌ای جدید که به تبیین ماهیت مکان می‌پردازد، ویژگی‌هایی را برای شناخت منظرین معرفی می‌کند که در چارچوب روش‌های متعارف اکولوژی نمی‌گنجد. مقالات زیاد اکولوژیست‌ها در خصوص منظر تدریجاً تعریف آن را به ابعاد خاص و غالباً کالبدی معطوف می...

رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

ارزیابی مطالعات درستی آزمون تشخیصی

In the recent years, advances in different fields of technology have been resulted in a dramatic increase in the diagnostic methods and tests in different branches of clinical medicine with a consequent increase in the number of scientific publications related to the application of those tests and methods in the diagnosis or prevention of diseases. Dermatology is not an exception. Since, eviden...

rt